#include <iostream>
#include <vector>

int main() {
  std::vector<int> a = {1, 2, 3, 4, 5};
  std::vector<int> b(a);
  a.~vector();
  printf("b[3] = %d\n", b[3]);

  return 0;
}
